guarded parking - tradução para grego
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:     

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

guarded parking - tradução para grego

FORMAL LANGUAGE FOR PREDICATE TRANSFORMER SEMANTICS INTRODUCED BY BY EDSGER DIJKSTRA
Guarded command; Guarded commands

guarded parking      
φυλασσόμενος χώρος στάθμευσης
φυλασσόμενος χώρος στάθμευσης      
guarded parking
no parking         
  • Parking tickets on a vehicle in [[Durham, North Carolina]]
  • 2135 photos of illegal parking received by the Portuguese civil organization ''Passeio Livre'' (Free sidewalk) published on their 5th anniversary
  • Parking violation on a [[Lamborghini Aventador]] in Geneva, Switzerland
  • Ireland]]
  • Four parking attendant vehicles and a street cleaning vehicle in San Francisco
  • No waiting
  • No stopping
  • access-date=6 March 2020}}</ref>
  • Vehicles may be [[wheel clamp]]ed for parking violations, such as this [[BMW 5 Series]] in [[Melbourne]], as a penalty or to enforce payment of fines
OFFENCE CAUSED WHILE A VEHICLE IS PARKED
Parking ticket; Parking Ticket; Parking tickets; Parking fines; No parking; No standing; Parking infraction; Parking restriction; Illegal parking; Parking violations; Parking offence; No waiting
απαγορεύεται η στάθμευση

Definição

parking
1.
Parking is the action of moving a vehicle into a place in a car park or by the side of the road where it can be left.
In many towns parking is allowed only on one side of the street...
I knew I'd never find a parking space in the Square.
N-UNCOUNT
2.
Parking is space for parking a vehicle in.
Cars allowed, but parking is limited.
N-UNCOUNT

Wikipédia

Guarded Command Language

The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming concepts in a compact way. It makes it easier to develop a program and its proof hand-in-hand, with the proof ideas leading the way; moreover, parts of a program can actually be calculated.

An important property of GCL is nondeterminism. For example, in the if-statement, several alternatives may be true, and the choice of which to choose is done at runtime, when the if-statement is executed. This frees the programmer from having to make unnecessary choices and is an aid in the formal development of programs.

GCL includes the multiple assignment statement. For example, execution of the statement x, y:= y, x is done by first evaluating the righthand side values and then storing them in the lefthand variables. Thus, this statement swaps the values of x and y.

The following books discuss the development of programs using GCL:

  • Dijkstra, Edsger W. (1976). A Discipline of Programming. Prentice Hall. ISBN 978-0132158718.
  • Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. doi:10.1007/978-1-4612-5983-1. ISBN 978-0-387-96480-5. S2CID 37034126.
  • Dijkstra, Edsger W.; Feijen, Wim H.J. (1988). A Method of Programming. Boston, MA: Addison-Wesley Longman Publishing Co., Inc. p. 200. ISBN 978-0-201-17536-3.
  • Kaldewaij, Anne (1990). Programming: the derivation of algorithms. Prentice-Hall, Inc. ISBN 0132041081.
  • Cohen, Edward (1990). David Gries (ed.). Programming in the 1990s: An introduction to the calculation of programs. Texts and Monographs in Computer Science. Springer Verlag. doi:10.1007/978-1-4613-9706-9. ISBN 978-1-4613-9706-9. S2CID 1509875.


Exemplos do corpo de texto para guarded parking
1. Truck stop Three armed robbers drove off with a truck full of electrical goods early yesterday after breaking into a guarded parking area in Mandra, west of Athens, police said.